Top 10k strings from Spectrum Micro Prolog T1.0 (1983)(Sinclair Research).tap in <root> / bin / z80 / software / Sinclair Spectrum Collection TOSEC.exe / Sinclair ZX Spectrum - Games / [TAP] /
Back to the directory listing
3 (response x)
2 ((cedit X)
2 ((cedit X Y)
2 (response Z)
2 (gedit X Y /*))
2 (cedit X Y))
2 (Parse-of-Cond X (Z|x) y)
2 (KILL X)
2 ("?CEQ?" X Y not)
1 simtrace-mod(is-trace all-trace)("y" n s f Parse-of-ConjC APPEND Parse-of-SS : "FIND:" Parse-of-Cond dict q #)
1 se-of-S Parse-of-SS Parse-of-Cond CON ON APPEND which : Expression-Parse dict func end yes all =)
1 rmess-mod("?ERROR?")(data-rel)
1 query-mod("FIND:" APPEND CONS ON Parse-of-S Parse-of-ConjC Parse-of-SS Parse-of-Cond Parse-of-CC # @ + "-" ~ * % defined true-of reserved save load not forall isall = all is one which)(Expression-Parse end dict func & and if then either or :)
1 program-mod(add delete list kill edit cedit function accept "?REV-P?")(Par
1 picture
1 pcode x7
1 gedit X Y DELCL))
1 ete (X|Y))
1 ect (Parse-of-ConjC (?) y (?|z)) (PP trying to solve its negation :|z)) (IF (?? (1|X) y ()) ((PP negation of X solved so ..) FAIL) ((PP negation of X failed so ..)))) ((FORALL Y Z))))
1 arse-of-ConjC (?) x (?|z)) (PP finding all Z such that :|z)) (isall X Y Z|x)) ((ISALL Y Z|x))))
1 aNo Space left
1 TIMES Z Y X))
1 SIMTRACE07
1 SIMTRACE06
1 SIMTRACE05
1 SIMTRACE04
1 SIMTRACE03
1 SIMTRACE02
1 SIMTRACE01
1 SIMPLE 26
1 SIMPLE 25
1 SIMPLE 24
1 SIMPLE 23
1 SIMPLE 22
1 SIMPLE 21
1 SIMPLE 20
1 SIMPLE 19
1 SIMPLE 18
1 SIMPLE 17
1 SIMPLE 16
1 SIMPLE 14
1 SIMPLE 13
1 SIMPLE 11
1 SIMPLE 10
1 SIMPLE 09
1 SIMPLE 08
1 SIMPLE 07
1 SIMPLE 06
1 SIMPLE 05
1 SIMPLE 04
1 SIMPLE 03
1 SIMPLE 01
1 READ ERROR
1 R ((PP X either branch) (?? (1|X) Y y)|y) ((PP X or branch) (?? (1|X) Z y)))) ((OR Y Z))))
1 R ((DELCL ((func X)))) ())
1 PROLOG
1 PEND Y Z x))
1 L ((count Z)))
1 EQ x "y") ((PP evaluating expressions using relations ..) (?? (1|X) Z y) / (Parse-of-SS Y z ()) (PP evaluating X :|z) (IF (SYS Y) (Y) ((ENTER X "y" Y)))) ((# Y Z))))
1 Dictionary full
1 11 "Break !"))
1 .)))) ((NOT ? Y))))
1 ((whichex X
1 ((which X)
1 ((update X Y)
1 ((true-of X Y)
1 ((test X Y)
1 ((test X (Y|Z))
1 ((test X (OR Y Z))
1 ((test X (NOT|Y))
1 ((test X (NOT ? Y))
1 ((test X (ISALL Y Z|x))
1 ((test X (FORALL Y Z))
1 ((test X (# Y Z))
1 ((response X)
1 ((reserved (dict func data-rel|X))
1 ((list all)
1 ((kill all)
1 ((isall X Y Z|x)
1 ((is-body X (Y|Z) (x|y) z X1)
1 ((is-body X () (Y|Z) (Y) (Y|Z))
1 ((is-body X () () Y ())
1 ((is-body (X) () (X) Y ())
1 ((init X Y)
1 ((gedit X Y Z)
1 ((function X)
1 ((find X (Y|Z) (Y|x) y)
1 ((find X (Y|Z) () (Y|Z))
1 ((find X () () ())
1 ((edit X Y)
1 ((delete X)
1 ((delete X Y)
1 ((defined X)
1 ((count 1))
1 ((add X Y)
1 ((accept X)
1 ((X|Y))) (Acceptin X)) ((OR ((EQ Y end)) ((P " " Y not a list) (PP) (Acceptin X))))))
1 ((Rev-body (X|Y) (Z|x) Z)
1 ((Rev-body () () X))
1 ((Parse-of-SS X Y Z)
1 ((Parse-of-SS X Y Y)
1 ((Parse-of-SS (X|Y) (X Y|Z) Z)
1 ((Parse-of-SS (X|Y) (X Y
1 ((Parse-of-SS (X) (X|Y) Y)
1 ((Parse-of-SS (X Y) (Y X|Z) Z)
1 ((Parse-of-SS (X Y Z) (Y X Z|x) x)
1 ((Parse-of-S (X|Y) Z)
1 ((Parse-of-ConjC X Y Z)
1 ((Parse-of-Cond X Y Z)
1 ((Parse-of-Cond
1 ((Parse-of-CC (OR X Y) ((Z|x)|y) y)
1 ((Parse-of-CC (NOT|X) (Y Z|x) y)
1 ((Parse-of-CC (NOT ? X) (Y (Z|x)|y) y)
1 ((Parse-of-CC (ISALL X Y|Z) (X x y|z) z)
1 ((Parse-of-CC (FORALL X Y) ((Z|x)|y) y)
1 ((Parse-of-CC (# (EQ X Y) Z) (x y z|X1) X
1 ((Parse-of-CC (!|X) (Y Z|x) y)
1 ((Oneex|X)
1 ((Oneex X Y)
1 ((ON X (Y|Z))
1 ((ON X (X|Y)))
1 ((E-code X " "))
1 ((E-code 6 "CLOSE last used file first"))
1 ((E-code 5 "File error"))
1 ((E-code 3 "Too many variables"))
1 ((E-code 22 "Invalid colour"))
1 ((E-code 2 "No definition for relation"))
1 ((E-code 15 "Break ! during tape read or write"))
1 ((E-code 13 "Line or point off screen"))
1 ((E-code 12 "Illegal use of modules"))
1 ((E-code 1 "Arithmetic underflow"))
1 ((E-code 0 "Arithmetic overflow"))
1 ((COPYRIGHT 1983 LPA LTD (V 6
1 ((CONS X Y (X|Y)))
1 ((Acceptin X)
1 ((APPEND (X|Y) Z (X|x))
1 ((APPEND () X X))
1 ((+ X Y Z)
1 ((* X Y Z)
1 ((% X Y Z)
1 (("FIND:" X Y Z x)
1 (("FIND:" (X Y|Z) X (:|Z) isall)
1 (("?REV-P?" (X|Y) Z)
1 (("?LIST-PRED?" X))
1 (("?LIST-PRED?" X)
1 (("?ERROR?" X (Y|Z))
1 (("?ERROR?" 4 (ADDCL ((X|Y)|Z)|x))
1 (("?ERROR?" 2 (X|Y))
1 (("?EQNTEST?" X)
1 (("?DECLARE?" ((X|Y)|Z))
1 (("?DECL?" X Y)
1 (("?CEQ?" X Y Z)
1 (("-" X Y Z)
1 %BLOCK OK
1 LPA Ltd 1983 "
1 ("?CEQ?" X Z forall)
1 (which X))
1 (response y)
1 (is-body X Y Z () ()))
1 (is-body (then) Y z () X1)
1 (is-body (or) Y z () X1)
1 (is-body (if) Y y () z))
1 (is-body (forall) X (Z|x) (then) z)
1 (is-body (either) X (Z|x) (or) z)
1 (is-body (and &) Z Z1 z X1))
1 (is-body (?) X (? Z|x) () z)
1 (is-body (:) Z X1 () Y1)
1 (init y ())
1 (gedit X Y DELCL))
1 (find X Z x y))
1 (find (:) X Y Z)
1 (edit X Y))
1 (delete X Y))
1 (defined Expression-Parse))
1 (add X Y))
1 (add 32767 X))
1 (TIMES X Y Z))
1 (SUM x 1 X)
1 (SUM Y Z X))
1 (SUM X Y Z))
1 (SUM X 1 Z)
1 (SUM 1 X2 X1)
1 (SAVE X))
1 (Rev-body Y y "and@M "))
1 (Rev-body Y x "if@M "))
1 (RFILL (ready) Y)
1 (RFILL (Y z) X1)
1 (Parse-of-SS X Z y)
1 (Parse-of-SS X Z x)
1 (Parse-of-SS X Y Z))
1 (Parse-of-SS (X|Y) x ())
1 (Parse-of-S Z1 Y1)
1 (Parse-of-S Z Y)
1 (Parse-of-S Z (X|Y))
1 (Parse-of-S ((X|x)|y) z)
1 (Parse-of-ConjC (?) Z (?|z)))
1 (Parse-of-ConjC (?) Y (?|X))
1 (Parse-of-ConjC (:) x Z)
1 (Parse-of-Cond Y y Z1)
1 (Parse-of-Co
1 (Parse-of-CC X Y Z)
1 (PP trying : Y Z)
1 (PP redundant & or and)
1 (PP Start tape for recording)
1 (PP No (more) answers))
1 (PP Module X deleted))
1 (PP Hit ENTER key when)
1 (PP Entire program deleted))
1 (PP Definition for X deleted))
1 (PP Cannot add senten
1 (P Evaluation error X : x)
1 (P Entire program "?(yes/no)")
1 (P "more?(y/n)")
1 (P "Syntax error: ")
1 (P " trace?(y/n) ")
1 (P " trace?")
1 (Oneex Y x))
1 (OR () ((NOT SYS Y) (PP retrying X) FAIL)))
1 (OR ((VAR Z)) ((NOT VAR Y)))
1 (OR ((VAR Z) /) ((NOT ON Z (either forall))))
1 (OR ((VAR X) / (NOT VAR Y) (EQ Y Z)) ((EQ Y Z))))
1 (OR ((LST Y) (ADDCL
1 (OR ((EQ Z (:|y)) /) ((P "Syntax error: ") (PP missing colon in) (PP X) ABORT)))
1 (OR ((DELCL Z)) ((PP No sentence (X|Y)))))
1 (OR ((CL ((dict X)))) ((ON X (dict func))))
1 (OR ((CL ((Y X))) /) ((ADDCL ((Y X))))))
1 (OPMOD X)
1 (ON x X)
1 (ON X Z))
1 (NOT SYS (x1|y1))
1 (Mem1 Y X)
1 (LOAD X))
1 (LESS 0 X)
1 (KILL ALL)
1 (INT X1)
1 (IF (VAR Z) () ((find (if) Z x y)))
1 (IF (VAR Z) ((find (and &|z) y Y1 Z1)) ())
1 (IF (VAR X) ((find x Y y Z) (P "Syntax error: ") (PP|y) (PP not a valid sentence form) ABORT) (FAIL)))
1 (IF (EQ y "y") ((effect (P
1 (IF (EQ x1 X) () ((PP relation changed to x1) ("?DECLARE?" Z1))))
1 (IF (EQ x "y") ((O
1 (IF (EQ x "y") ((APPEND Y ((NOT ? Z)) y) (eff
1 (IF (EQ Z "y") (FAIL) ()))
1 (IF (EQ Z "y") ((PP X unnegated) (IF (?? (1|X) Y ()) ((PP unnegated X solved so ..) FAIL) ((PP unnegated X failed so .
1 (IF (EQ Z "y") ((PP X unnegated) (IF (?? (1|X) (Y) ()) ((PP unnegated X solved so ..) FAIL) ((PP unnegated X failed so ..)))) ((NOT|Y))))
1 (IF (DELCL X Y) () ((PP No sentence Y for X))))
1 (IF (? Y) ((PP YES)) ((PP NO))))
1 (FORALL ((CL ((dict X)))) (("?LIST-PRED?" X)
1 (FORALL ((?? (1|X) x z)|z) ((PP found answer Z to X) (update y Z)))
1 (Expression-Parse X Y Z)
1 (EQ Z1 ((x1|y1)|
1 (EQ Y :)
1 (EQ X yes)
1 (ENTER X x (Y|Z)))
1 (E-code X x)
1 (DICT Y Z X|x))
1 (DELCL ((value y Y))))
1 (DELCL ((value X Z)))
1 (DELCL ((dict X)))
1 (DELCL ((count X)))
1 (CL ((dict Y)))
1 (CL ((dict X)))
1 (CL ((data-rel X)))
1 (CL ((X|x)|y) Y Y)
1 (CL ((X|Y)|Z)))
1 (CL ((X|Y)|Z))
1 (Acceptin X))
1 (ADDCL Z1 X2)
1 (ADDCL Z x)
1 (ADDCL ((value X Y))))
1 (ADDCL ((value X (Y|Z)))))
1 ("FIND:" y Y X1 isall)
1 ("FIND:" X Y Z whicjR
1 ("FIND:" X Y Z one)
1 ("?REV-P?" ((X|Y)|Z) x)
1 ("?LIST-PRED?" X))
1 ("?DECLARE?" Z))
1 ("?DECL?" X func))
1 ("?DECL?" X dict))
1 ("?DECL?" X dict)
1 ("?CEQ?" Z x isall)
1 ("?CEQ?" X Z either)
1 ("?CEQ?" X Y !)
1